$\forall$$i$, $j$:$\mathbb{Z}$.
\\[0ex]($i$ $<$ $j$) $\Rightarrow$ ($\forall$$E$:(\{$i$..$j$$^{-}$\}$\rightarrow\mathbb{Q}$). $\Sigma$$i$ $\leq$ $k$ $<$ $j$. $E$($k$) = ($\Sigma$$i$ $\leq$ $k$ $<$ $j$ {-} 1. $E$($k$) + $E$($j$ {-} 1)) $\in$ $\mathbb{Q}$)